expression satisfied

Plus